Nps - Cs - 14 - 001 Naval Postgraduate School Monterey , California Computer - Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings
نویسنده
چکیده
This paper presents two computer-aided techniques for discovering formal specification behavioral requirements and for mapping components and methods within an implementation to their driving requirements. The first technique is an informal technique while the second technique is formal. The first technique uses a system reference model (SRM) abstraction and a set of existing formal specifications to discover implementation components that are not well covered by the formal specification set. This technique also provides a mapping between requirements and code segments driven by those requirements. The second technique uses a bounded constraint solver to match a set of tests with a generic formal specification taken from a small library
منابع مشابه
Nps - or - 12 - 003 Naval Postgraduate School Monterey , California Differential Equation Models for Sharp Threshold Dynamics
متن کامل
NPS - CS - 15 - 001 NAVAL POSTGRADUATE SCHOOL MONTEREY , CALIFORNIA GRAPH REDUCTION FOR EMULATED NETWORK EXPERIMENTATION by Erik Rye
Network researchers and operators often turn to emulation and simulation for testing and experimentation. Obtaining topologies that reflect the graph characteristics of the Internet, while of small enough order to emulate or simulate on commodity hardware, however, is a difficult undertaking. In this work, we reexamine a previous study devoted to generating Internet-like topologies by reducing ...
متن کاملNPSCS - 92 - 004 NAVAL POSTGRADUATE SCHOOL Monterey , California REAL - TIME SYSTEMS
This paper presents an introduction to the basic issues involved in real-time systems. Both real-time operating systems and real-time programming languages are explored. Concurrent programming and process synchronization and communication are also discussed. The real-time requirements of the Naval Postgraduate School Autonomous Under Vehicle (AUV) are then examined.
متن کاملThe Greedy Terrorist: A Rational-Choice Perspective on Terrorist Organizations’ Inefficiencies
Strategic Insights is a monthly electronic journal produced by the Center for Contemporary Conflict at the Naval Postgraduate School in Monterey, California. The views expressed here are those of the author(s) and do not necessarily represent the views of NPS, the Department of Defense, or the U.S. Government.
متن کاملNps - Cs - 16 - 003 Naval Postgraduate School Monterey , California an Application Aware Approach to Scalable Online Placement of Data Center Workloads
Data center operators strive for maximum resource utilization while satisfying tenant service level agreements; however, they face major challenges as application workload types are diverse and tenants add, remove, and update their workloads sporadically to meet changing user demands. Currently, operators allocate workload VMs primarily in an application agnostic fashion, focusing on minimizing...
متن کامل